Software Bug Localization with Markov Logic Sai Zhang, Congle Zhang University of Washington Presented by Todd Schiller

Source URL: zhang-sai.github.io

• Software engineering
• Software
• Code coverage
• Software testing
• ARG2
• Xdebug
• Relational operator
• Tarantula
• Computer programming

Push-Button Verification of File Systems via Crash Refinement Helgi Sigurbjarnarson, James Bornholt, Emina Torlak, Xi Wang University of Washington Abstract mentation, and consistency invariants indicating whether

Source URL: unsat.cs.washington.edu

• Computer architecture
• System software
• Disk file systems
• Data management
• Inode
• File system
• Journaling file system
• Log-structured File System
• Ext3
• Mkfs
• Refinement
• Ext4

Formal Specication and Development of Control System Input/Output Jonathan Jacky Radiation Oncology Department RC-08 University of Washington

Source URL: staff.washington.edu

• Computing
• Models of computation
• Software engineering
• Control engineering
• Cognition
• State
• Control theory
• Lookup table
• Variable
• Dependent and independent variables

Synthesizing Highly Expressive SQL Queries From Input-Output Examples http://scythe.cs.washington.edu Chenglong Wang, Alvin Cheung, Ras Bodík University of Washington

Source URL: chenglongwang.org

NL2Bash: A Corpus and Semantic Parser for Natural Language Interface to the Linux Operating System Xi Victoria Lin*, Chenglong Wang, Luke Zettlemoyer, Michael D. Ernst Salesforce Research, University of Washington, Unive

Source URL: victorialin.net

• Computing
• Scripting languages
• Xargs
• Semantic parsing
• Filter
• Sed
• GNU parallel
• Find
• Command-line interface
• Redirection
• Parsing
• Pipeline

Automatically Synthesizing SQL Queries from Input-Output Examples Sai Zhang University of Washington Joint work with: Yuyin Sun

Source URL: zhang-sai.github.io

• Data management
• Computing
• Information retrieval
• SQL
• Relational database management systems
• Query languages
• Database management systems
• Select
• SQL syntax
• Null

Automatically Repairing Broken Workflows for Evolving GUI Applications Sai Zhang University of Washington Joint work with: Hao Lü, Michael D. Ernst

Source URL: zhang-sai.github.io

• Economy
• Business
• Graphical user interface
• Software architecture
• Workflow

Which Configuration Option Should I Change? Sai Zhang, Michael D. Ernst University of Washington Presented by: Kıvanç Muşlu

Source URL: zhang-sai.github.io

• System software
• Software
• Free software
• APT
• Debian
• Dpkg
• Ubuntu
• Configuration management

Caching Doesn’t Improve Mobile Web Performance (Much) Jamshed Vesuna and Colin Scott, University of California, Berkeley; Michael Buettner and Michael Piatek, Google; Arvind Krishnamurthy, University of Washington; Sco

Source URL: www.usenix.org

• Cache
• Computing
• Web development
• Information and communications technology
• Computer networking
• Computer architecture
• Web cache
• Web performance
• Proxy server
• World Wide Web
• Google PageSpeed Tools
• Web server

Automated Documentation Inference to Explain Failed Tests Sai Zhang University of Washington Joint work with: Cheng Zhang, Michael D. Ernst

Source URL: zhang-sai.github.io

• Computer programming
• Software engineering
• Infinite loop
• Recursion
• Software development
• Software testing
• Java
• Extreme programming